body {
  font-family: monospace;
  white-space: pre;
}

ins {
  background-color: #9cffa0;
  text-decoration: none;
}

del {
  background-color: #ff9e9e;
}
